concurrency control in distributed system